最优带仲裁认证码

本文研究带仲裁认证码（亦称A^2-码）。一个A^2-码，当它的欺骗攻击成功概率达到信息论下界且密钥长度也达到最小时称为是最优的。本文给出最优A^2-码的组合结构的特征，从而将构造最优A^2-码的问题归结为构造相应的一类组合设计的问题。     

Quotient normed cones

Given a normed cone (X, p) and a subconeY, we construct and study the quotient normed cone (X/Y,p) generated byY. In particular we characterize the bicompleteness of (X/Y, ‖·‖ ^p ,p) in terms of the bicompleteness of (X, p), and prove that the dual quotient cone ((X/Y)^*, || · ‖·‖^p,p) can be identified as a distinguished subcone of the dual cone (X ^*, || · ||_{p, u}). Furthermore, some parts of the theory are presented in the general setting of the spaceCL(X, Y) of all continuous linear mappings from a normed cone (X, p) to a normed cone (Y, q), extending several well-known results related to open continuous linear mappings between normed linear spaces.     

气体放电等离子体特性测量I-V曲线不对称性的研究

利用气体放电双探针法研究了等离子体的I-V曲线中的电流I相对于电压V轴交点的不对称性,并提出2种可能的解释:一认为是由于两探针表面积不同引起的;二认为是由于探针所在处等离子体电位不等引起的.本文利用仪器的工艺误差和调换放电管电压的方法,对提出的2种可能原因分别进行验证,并指出第二种解释的合理性,并对其进行了理论分析.     

变量有广义界线性规划的直接对偶单纯形法

本文讨论变量有广义界线性规划问题借助标准形线性规划同单纯形法技术，建立问题的一个直接对偶单纯形法。分析了方法的性质，给出了初始对偶可行基的计算方法，并用实例说明方法的具体操作。     

关于Z-空间的对偶空间的讨论

本文以自然的方式定义了从Z-空间X到Z-空间Y的有界线性算子的和以及它们的数乘.从而得到了与赋范空间的对偶空间理论类似的一系列结论.     

Summing the derivative expansion of the effective action

The derivative expansion of the effective action is a perturbative development in derivatives of the fields. The expansion breaks down when some of the derivatives are too large. We show how to sum exactly the first and second derivatives and treat perturbatively derivatives higher than second.     

关于自双反函数的性质之研究

阐述了双反函数、自双反函数和多数函数的定义,提出了自双反函数的性质.根据上述定义利用布尔代数中的基本概念、定理和公式证明了这些性质,展示了自双反函数在RM展开系数图(bj图)中的特点,讨论了自双反函数在函数分类中的应用.     

Degrevlex Gröbner bases of generic complete intersections

In this paper, we study the Hilbert–Samuel function of a generic standard graded K-algebra

K[X₁,…,X_n]/(g₁,…,g_m)

when refined by an (ℓ)-adic filtration, ℓ being a linear form. From this we obtain a structure theorem which describes the stairs of a generic complete intersection for the degree-reverse-lexicographic order. We show what this means for generic standard (or Gröbner) bases for this order; in particular, we consider an “orderly filling up” conjecture, and we propose a strategy for the standard basis algorithm which could be useful in generic-like cases.     

Artinian level modules and cancellable sequences

In order to use dualization to study Hilbert functions of artinian level algebras we extend the notion of level sequences and cancellable sequences, introduced by Geramita and Lorenzini, to include Hilbert functions of certain artinian modules. As in the case of algebras a level sequence is cancellable, but now by dualization its reverse is also cancellable which gives a new condition on level sequences. We also give a characterization of the cancellable sequences involving Macaulay representations.     

线性规划的符号跟踪算法

分析了只含一个约束条件的线性规划最优基变量的特征，将其运用到搜寻含m个约束条件的线性规划的最优基变量，从而提出了线性规划的符号跟踪算法，为线性规划求解提供了新途径。